Section: Partnerships and Cooperations

National Initiatives

• Formes is part of the working group LTP on Languages, Types and Proofs of the GDR GPL(http://gdr-gpl.cnrs.fr/ ), the French research network on software engineering.

• Formes is part of the working group LAC on Logic, Algebra and Calculus of the GDR IM(http://www.gdr-im.fr/ ), the French research network on mathematics and computer science.